Feeds to Scour
SubscribedAll
Scoured 19448 posts in 343.9 ms
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
📋Document Grammar
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·16h
⚙️Parser Generators
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·3h
🔗Concatenative Programming
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·22h
🤝Consensus Protocols
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·18h
📋Document Grammar
Compile and Run Your First Program
emojicode.org·1d·
Discuss: Hacker News
🔗Concatenative Programming
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Building a Simple “Chat with Your Documents” GenAI App (End-to-End)
dev.to·8h·
Discuss: DEV
🤖Archive Automation
Build a Compiler in Five Projects
kmicinski.com·4h
🔨Compilers
Flexible and Economical UTF-8 Decoder
bjoern.hoehrmann.de·1h
🔤Character Encoding
Linux Audio Developer's Simple Plugin API (LADSPA)
ladspa.org·1d
💿FLAC Archaeology
The control layer for AI
blog.dottxt.ai·14h·
Discuss: Hacker News
🔒WASM Capabilities
Issue 742
iosdevweekly.com·1d
📡RSS Automation
libfirm/cparser: C99 parser and frontend for libfirm
github.com·2d·
Discuss: Hacker News
🔓Decompilation
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
GTK hackfest, 2026 edition
blogs.gnome.org·1d
🔩Systems Programming
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
Let Lambda Come Over
yamlscript.org·9h
⬆️Lambda Lifting

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help